Nominals for Everyone
نویسندگان
چکیده
It has been recognised that the expressivity of description logics benefits from the introduction of non-standard modal operators beyond existential and number restrictions. Such operators support notions such as uncertainty, defaults, agency, obligation, or evidence, whose semantics often lies outside the realm of relational structures. Coalgebraic hybrid logic serves as a unified setting for logics that combine non-standard modal operators and nominals, which allow reasoning about individuals. In this framework, we prove a generic EXPTIME upper bound for concept satisfiability over general TBoxes, which instantiates to novel upper bounds for many individual logics including probabilistic logic with nominals.
منابع مشابه
Event Related Nominals
into two categories, depending on whether they retain the event from their verbal base or not. The original observation is due to Chomsky (1970); see also Lees (1960), Marantz (1997), Borer (2003). For English -ation and -ing nominals (e.g., destruction, examination; forming, examining) and for zero-derived nominals (e.g., form, exam), this has led to distinguishing two classes of nominals: com...
متن کاملNo ordered arguments needed for nouns ∗ Scott Grimm and Louise McNally
Syntacticians have widely assumed since [11] that there is a fundamental difference between so-called argument structure nominals (AS-nominals, also called Complex Event Nominals), e.g. destruction, and non-AS-nominals, e.g. book ([1, 5], i.a.). Grimshaw provided a list of properties characterizing AS-nominals, most notably that they have obligatory arguments (e.g. the destruction *(of Carthage...
متن کاملIncremental Decision Procedures for Modal Logic with Nominals and Eventualities
This thesis contributes to the study of incremental decision procedures for modal logics with nominals and eventualities. Eventualities are constructs that allow to reason about the reflexive-transitive closure of relations. Eventualities are an essential feature of temporal logics and propositional dynamic logic (PDL). Nominals extend modal logics with the possibility to reason about state equ...
متن کاملFrom Wine to Water: Optimizing Description Logic Reasoning for Nominals
OWL-DL is a World Wide Web Consortium standard for representing ontologies on the Semantic Web. It can be seen as a syntactic variant of the Description Logic SHOIN (D), with an OWL-DL ontology corresponding to a SHOIN (D) knowledge base. The very recent accomplishment of a decision procedure for SHOIN (D) poses the challenge of turning the decision procedure into a practical implementation. In...
متن کاملTowards the automatic classification of complex-type nominals
The work presented here depicts experiments toward the automatic classification of complex-type nominals using distributional information. We conducted two experiments: classifying complex-type nominals as members of multiple individual lexical classes, and building a dedicated classifier for complex-type nominals, distinguishing them from simple types. We discuss the promising results obtained...
متن کامل